Steam boiler transfer function through fuel supply - steam pressure at boiler outlet

A Steam - Boiler Control

Simulation of a Steam-Boiler

In this paper, we describe the implementation and usage of a simulation with graphical visualization for a steam-boiler [Abri94]. The simulation imitates the behaviour of the steam-boiler and can be controlled using a simple ASCII protocol. It reacts to defined commands and sends information about its state every five seconds. Furthermore, we describe the options available, the protocol which f...

Streams of Steam – The Steam Boiler Specification Case Study

FOCUS is a mathematics-based methodology for the development of distributed reactive systems. This paper sketches the expressiveness and the usefulness of the well-tuned concepts of FOCUS by its application of the requirements specification of a steam boiler, see [Abr96]. We demonstrate the support for non-specialists in formal methods by using userfriendly description techniques, here the stat...

TRIO Specification of a Steam Boiler Controller

We specify a controller for a steam boiler starting from an informal descriptions of its requirements. The specification is formalized in the temporal logic TRIO and its objectoriented extension TRIO+. To obtain a maximum of abstraction and reuse we make the specification parametric with respect to all equipment and hardware features, and we avoid to impose any particular strategy in the manage...

Control System Simulator for Steam Boiler Parameters

Abstract: The paper presents the research results related to control of the steam boiler parameters: drum level, furnace pressure and steam pressure. It was developed the mathematical model of the water-steam system and furnace part of the boiler. Also, the paper presents the algorithm for real time detection of model parameter variations. In this context a correction method, validate through s...